University of Lugano - PDFSEARCH.IO - Document Search Engine

University of Lugano
Results: 262

#	Item
241	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
242	Loop summarization and termination analysis? Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M. Wintersteiger2 , and Daniel Kroening2 1 Formal Verification and Security Group, University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-01-11 17:53:38 Computer programming Loop invariant Termination analysis Invariant For loop Infinite loop Algorithm Software engineering Computing Control flow
243	University of Lugano at TREC 2009 Blog Track Mostafa Keikha, Mark Carman, Robert Gwadera, Shima Gerani, Ilya Markov, Giacomo Inches, Az Azrinudin Alidin and Fabio Crestani University of Lugano Department of Informatics L Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2010-02-16 08:56:24 Relevance Vector space model Cluster analysis Tf*idf Cosine similarity Information science Information retrieval Science
244	University of Lugano at TREC 2008 Blog Track Shima Gerani, Mostafa Keikha, Mark Carman, ∗ Robert Gwadera, Davide Taibi and Fabio Crestani University of Lugano Department of Informatics Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2009-02-10 08:12:10 Information Text Retrieval Conference Learning to rank Relevance Precision and recall Ranking function Document retrieval Okapi BM25 Relevance feedback Information science Information retrieval Science
245	University of Lugano at TREC 2010 Mostafa Keikha, Parvaz Mahdabi , Shima Gerani, Giacomo Inches , Javier Parapar†, Mark Carman and Fabio Crestani University of Lugano Department of Informatics Lugano, Switzerland Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2011-02-25 13:23:55 Statistics Tf*idf Relevance Text Retrieval Conference Language model Cluster analysis Discounted cumulative gain K-means clustering Information science Information retrieval Science
246	PDF Document Add to Reading List Source URL: www.esteri.it Language: English - Date: 2013-09-23 11:50:49 Europe Education in Switzerland IDHEAP École Polytechnique Fédérale de Lausanne ETH Zurich Postdoctoral research University of Basel University of Lugano Doctor of Philosophy Education Academia Public universities
247	PDF Document Add to Reading List Source URL: www.esteri.it Language: English - Date: 2013-09-23 11:50:49 Lausanne École Polytechnique Fédérale de Lausanne IDHEAP Switzerland ETH Zurich University of Lausanne University of Lugano Scholarship Education Europe Education in Switzerland
248	UNIVERSITY OF LUGANO Advanced Learning and Research Institute -ALaRI PROJECT Add to Reading List Source URL: idsi.md Language: English - Date: 2011-09-29 09:56:28 Inter-process communication Operations research Planning Parallel computing Blocking FIFO MIMD Concurrent computing Computing Scheduling
249	Researching at USI Università della Svizzera italiana A practical guide for researchers and their families EURAXESS Service Centre USI Arianna Imberti Dosi Via G. Buffi 13 Add to Reading List Source URL: www.usi.ch Language: English - Date: 2013-03-27 05:30:15 Ticino SUPSI Geography of Europe Mendrisio University of Lugano Switzerland Lugano
250	Towards A Periodic Table of Visualization Methods for Management Ralph Lengler & Martin J. Eppler Institute of Corporate Communication University of Lugano, Add to Reading List Source URL: www.ihub.co.ke Language: English - Date: 2014-03-25 08:46:08 Computational science Visualization Computer graphics Communication design Data visualization Information visualization Information graphics Scientific modelling Systems visualization Infographics Science Scientific modeling

UPDATE